Complementarity in categorical quantum mechanics
نویسنده
چکیده
We relate notions of complementarity in three layers of quantum mechanics: (i) von Neumann algebras, (ii) Hilbert spaces, and (iii) orthomodular lattices. Taking a more general categorical perspective of which the above are instances, we consider dagger monoidal kernel categories for (ii), so that (i) become (sub)endohomsets and (iii) become subobject lattices. By developing a ‘point-free’ definition of copyability we link (i) commutative von Neumann subalgebras, (ii) classical structures, and (iii) Boolean subalgebras.
منابع مشابه
Categorical aspects of polar decomposition
Polar decomposition unquestionably provides a notion of factorization in the category of Hilbert spaces. But it does not fit existing categorical notions, mainly because its factors are not closed under composition. We observe that the factors are images of functors. This leads us to consider notions of factorization that emphasize reconstruction of the composite category from the factors. We f...
متن کاملEnvironment and Classical Channels in Categorical Quantum Mechanics
We present a both simple and comprehensive graphical calculus for quantum computing. In particular, we axiomatize the notion of an environment, which together with the earlier introduced axiomatic notion of classical structure enables us to define classical channels, quantum measurements and classical control. If we moreover adjoin the earlier introduced axiomatic notion of complementarity, we ...
متن کاملCategorical Semantics for Schrödinger’s Equation
Applying ideas from monadic dynamics to the well-established framework of categorical quantum mechanics, we provide a novel toolbox for the simulation of finite-dimensional quantum dynamics. We use strongly complementary structures to give a graphical characterisation of quantum clocks, their action on systems and the relevant energy observables, and we proceed to formalise the connection betwe...
متن کاملCategories and Quantum Informatics: Complementarity
This chapter studies what happens when we have two interacting Frobenius structures. Specifically, we are interested in when they are “maximally incompatible”, or complementary, and give a definition that makes sense in arbitrary monoidal dagger categories in Section 6.1. We will see that it comes down to the standard notion of mutually unbiased bases from quantum information theory in the cate...
متن کاملRelating toy models of quantum computation: comprehension, complementarity and dagger mix autonomous categories
Toy models have been used to separate important features of quantum computation from the rich background of the standard Hilbert space model. Category theory, on the other hand, is a general tool to separate components of mathematical structures, and analyze one layer at a time. It seems natural to combine the two approaches, and several authors have already pursued this idea. We explore catego...
متن کامل